In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...) nada absoluto para uma unidade de qualidades prefigura um universo inteligível de natureza formal. Esta unidade já pode ser considerada uma restrição de uma potencialidade de força maior presente naquele nada germinal: a primeira categoria é configurada, então, como sendo de natureza potencial qualitativa. O adjetivo “qualitativa” apresenta uma espécie de restrição da potencialidade para a qual nos referimos: tal potencial é desta ou daquela espécie. A segunda categoria, por sua vez, surge de um caos de sentimentos: não é a interação entre tais sentimentos que traz a segunda categoria à realidade, mas a mera manifestação do sentimento que é, por sua vez, caracterizado como a aparência momentânea da qualidade. Esta aparência não é potencial, mas atual. Ela já é um fato; ela já é uma restrição da potencialidade qualitativa. Sentimento enquanto atualidade e qualidade em seu estado potencial prefiguram a origem do outro que se apresenta: este outro está, portanto, inscrito na natureza da qualidade e já apresenta a dualidade objeto e objeto representado. Por fim, a tendência à generalização é reconhecida por meio das relações que as qualidades estabelecem entre si: na medida em que o aparecimento de uma ou mais qualidades se manteve insistente, tais qualidades começaram a estabelecer relações entre si, permitindo a formação indutiva de leis e objetos mais complexos, mas sempre devedores do material disponível prefigurado na origem: qualidades. (shrink)